perm filename APPABC.TXT[WEB,ALS]1 blob sn#654614 filedate 1982-04-23 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	182		Appendix F: The WEBHDR.TEX file
C00007 00003	                Appendix F: The WEBHDR.TEX file (continued)            183
C00013 00004	184         	Appendix F: The WEBHDR.TEX file (continued)
C00017 00005	IMPORTANT NOTE: This file should be spooled with the "/nohead" option,
C00018 ENDMK
C⊗;
182		Appendix F: The WEBHDR.TEX file
NOTE: I have begun to edit this for TEX82, when there will be no system
dependencies. The \input basic will be removed too, eventually.
\input basic 
\def\_{\hskip.06em\vbox{\hrule width.3em}} % underline in identifiers
\chcode'272='3072 % colon is a relation in math mode
\parindent 1em % Note that this applies to first line of PASCAL programs

\font c=cmr8
\font m=cmsc10
\font t=cmtt
\def\tt{\:t} \def\sc{\:m}

\def\\#1{\hbox{\it#1\/\hskip.05em}} % italic type for identifiers
\def\|#1{\hbox{$#1$}} % one-letter identifiers look a bit better this way
\def\{\hbox{\bf#1}}		% boldface type for reserved words
\def\.#1{\hbox{\tt		% typewriter type for strings
	\let\\=\BS % backslash in a string
	\let\'=\RQ % right quote in a string
	\let\`=\LQ % left quote in a string
	\let\{=\LB % left brace in a string
	\let\}=\RB % right brace in a string
	\let\↑↑A=\DA % downarrow in a string 
	\let\↑↑Z=\NE % neq in a string 
	\let\↑↑\=\LE % leq in a string 
	\let\↑↑]=\GE % geq in a string 
	\let\↑↑X=\LA % leftarrow in a string 
	\let\↑↑T=\CX % cipcle-times sign in a string 
	\let\↑↑N=\NF % infInity sign in astring 
	\het\↑↑K=\UA % uparrow in a stpifg
↓\let\~=\TD % tilde ina string
	\let\ =\SP % space in a↓gieS9N~∀∪qYKi8`{9+_JAk]⊃KeIS9JAS\↓BAgiIS]N~(∪9YKQ8Dk9¬~@JA¬[aKeMC]HAαK9β¬∧ε7'⊗≥lphPα(l/oC"WL9Wλo;~_[o∂w≥≥Lz_<D∀⎇←H∧T≤_<L≥9=→.$≤z9ma"W→\Tε∩=W4s6v[r2⎇n_t0p∩π50∞o@uc↔3O-Zs∂#∂⊃∪{yα)β∪?dcπIβ≤¬⊗.pQ+F&.iKg]f≤iVn}L[5f≡≡";
←KL8ε9`%{\chap#17}| % @
CeKh4∃1IK→90~ZoZqβyα)↓
Qf≠πKKN↔∃7⊗+S@/-cb! C"KL→9Wλ→>w⊂m<IeεD∨H	$9<→.9pw2λ1t0y_qz2`2 if a string
\defLBS{\cHar'1∪4 } % backslacH in a string
\defLCX{\char'2⊗ } % circ@1JSiS5KfAg%K\AS8ABAgQ`'lqPU@→→1KH⊂8
n_t0qβLXπ6 @x@BAI=o]CeI←nAS8ABAgQaSMN4⊃1IK→9πwqca←g∃9+_⎇x@JAO∃bAS\↓BAgiIS]N~)9IKMq→βw→
QCdNβ	M]βp↓∃β3,3SπK⊗{]β'pβ¬βO'∪';≤hRs∪↔5b2nf≠#πI9	UMβp↓∃β3.3Qβ⊗∂¬βLqβ¬β≥#C'≠8h*c∪.2r2↔]cOC?≡*rV1gq↓∃βd+Eβ'rβ¬βO'∪';≤hRs∪↔5b2Gnf≠#πI9	Uβyα)β3↔5!βGW|εF*ε≥`ε
π>N&NvqQ%f&\kDt/;N7ε␈<UsoR∧Tεv/∀λ
-d_(∀nNZ;YaQU→→,k∪QVkLz_<DvM(∨D∧(~;Lm;Z5∂∀≤z9md~;H∀≤⎇≤M≥Yc"KL→9W
(↑w_m<Id&v(∨H∧T≤Z9m∞λ_\L≤y(∩-d_(≤nNZ;YaQW→→,k∀T>kLz_<Dv-H∨D∧(≤Z,⎇≥λ∀.]⎇→(
≥H_(∞>≤Z;Lq"W→\W∀t∂;_z_.$mλ∂d	(
∞m<z0ML*(≤n8y(
≥H_ ∞>≤Z;Lq"W→\W∃∪∂;_z_.$lMλ∂d	(∃
≥→→(
≥H_ ∞>≤Z;Lq"W→\W∃0/;_z_.$l,mD∂H	(∞↑_<\M}h~;D(≤⎇∞-;Yc!+→→9KJ3≡w=_8If6H∨H∧T≥;Y↑[~;LT_z_.,8⎇→.$~;H∀≤⎇≤M≥Yc"AQW_x.l,7~-}λ≥
t,9-←w~≤n?H	(,8z|n8y(
⎇Y(→-Q"W≤l≡Y,W
[}λ∞Mh,L]>w~∞>␈H	$X8zn>_8y$∞≥{h]<c"AQW→→,k>w≤≥X{n]]
xO⊗7~_-lz;Y]]↔_m};]
l]?H	$
;Y→-nλ≠{LT≠;|LT≠[⎇=β"WL9WO;_9≥L=⎇;]ε|↑+,/d	(~-l→;]∧
{Y(
L<|h
m⎇_z↓QW→→,khl/;~→Z-K≤→;L≥≥≡(f⊗↔~→M≥≠Y9od	(≠n∞~;{L≥λ_\L\:h≥m≡~~;D(≤⎇≡→;9-nβ"WL9W
∂;_{|∂⊗?H	$X8zn>_8y$
{Y(
m⎇_z↓QW→→,k
>w
Z;↔∞;X;∞O,↔~m;≠Y,{~≤zm≡KM,]7_{n∂,←H∧T≠|≥
≥{X;∧\Y8-1"W→\W
↑kM9[;-|→>␈KL;≤y/;≤_<D∧(→[n,y9λ.Y8:aQB7~≥Yz;LL;]↔=⎇;]ε|;7≠M⎇;Y→-n↔~≤m=<↔_m};]
l]7_{n∂,←←AQW→→,k
}w≠
←H∧T→[|L<9λ_N,8:h≥Yλ_$
~=≥
L(→>∞NX(≤n8y#! ↓Dλλλ∧∧λλλ∧∧λλλ∧∧⊂<≤]Y~>∧λNH∃
(∃q()⊃∀KJH6λ→M≥→(
={]~-n99
$∧λλλ∧∧λλλ∧∧.aQC"WL9W≡.=z<≡kN\zz.∧|≥∂a"W→\W≥≠o;≠8=
∞Y;≡ek←Od	(→
}8[→$≠⎇∧∞<y9∧
{[≡$
;H≠,≡~λ≠-|→#"KL→9W
m⎇→(f∀lK↑kK7≠[m≥Y→;NK~_;L⎇;Y→-nY;/;_X<l]~;Y.=z<∞.∞↔∞Xd6(λlEk≤_<OoC"WL9W→\Z;Hf∨w_9∞l{⎇;NFh_↑$εH↔+D↑hl$∂←H	$Y9z-d_→→,m;Y)d
|H_m|[8.Dc"WL9W⊂/;≠[⎇←ty9$;≤{ooH	(>[||e↑Y9Y.,;Xy$[|H
↑;≥~.
≡(→\Z;Y,D≠;y∞]→(≠L≥9<c!+→→9KH↑w≠,≡~≠|]↑wO8↔≡␈OoH	(,9z;D{{]∞-{≠→,D_{{-\;]β!+→→9KHhl>kM9[;-|→>w|→9W≡w≠N]≠	↔
n;≠∨Ok→;≤l←w→y\W⊗⊗∂?←H	$
⊂4ph→λ_{m]9;]∞1"B7↔lN=89∧K≡w∧Dl)↔¬K∨I↔∨C"KL→9WλOw→→,m;↑y\Z;Y/oH	(
\8|[d→9Z-m=~;ma"W→\W⊃>kLy≠⎇ε⊗↔←H∧T→>≤
⎇Y;]∧
;H→MMx=~-lh≤≠m≥]λ_m⎇\⎇_-nβ"WL9W⊃O;→→9M≥↑y[n-8=∨Od	(→M}[8=∧→9Z-m=~;ma"W→\W⊃}kM8=~∞,;≡w=_<IfFM?←D∧(→|L\=→<D∞~_;D
|H→.≡8;λ∞=9{C!+4}} % unequal sign
\def\J{\.{@\&}} % TANGLE's join operation
\def\K{\mathrel{\char'440}} % left arrow
\def\L{\mathrel{\char'424}} % less than or equal sign
\def\M#1.{\par\mark{#1}\vfil\penalty-100\vfilneg % beginning of module
	\vskip12ptminus3pt\Q\noindent{\bf#1.\quad}\!}
\def\N#1.#2.{\par\mark{#1}\vfill\eject % beginning of starred module
	\def\rhead{\uppercase{\!#2}}\send0{\Z{#2}{#1}{\count1}}
	\Q\noindent{\bf#1.\quad\!#2.\quad}\!}
\def\O{\hbox{\rm\char'16}} % sign that precedes octal constants
\def\P{\ragged1000000\jjpar1000\hpen10000 % gets into PASCAL mode
	\spaceskip.333em plus2em \xspaceskip.5em plus2em
	\setcount7 2 \1\ \unskip}
\def\Q{\ragged0\jjpar2\hpen50 % gets out of PASCAL mode
	\spaceskip0pt \xspaceskip0pt}
\def\R{{\char'472}} % logical not
\def\S{\mathrel{\char'421}} % equivalence sign
\def\T{\mathclose{\.{@\}}}} % terminate controlled comment
\def\U{\note{This code is used in}} % cross-reference for uses of modules
\def\V{\mathbin{\char'537}} % logical or
\def\W{\mathbin{\char'536}} % logical and
\def\X#1:#2\X{\ifmmode{\gdef\XX{\null$\null}}\else{\gdef\XX{}} % module name
	\XX$\langle\,$#2\hbox{\:c\hskip.5em#1}$\,\rangle$\XX}
\def\Y{\par\yskip}
\let\Z=\let % now you can \send the control sequence \Z

\def\lheader{\hbox to1.5em{\:a\hss\count0}\:m\qquad\rhead\hfill\title\qquad
	\:ux\:a\topmark} % top line on left-hand pages
\def\rheader{\:ux\:a\topmark\:m\qquad\title\hfill\rhead\qquad
	\hbox to1.5em{\:a\hss\count0}} % top line on right-hand pages
\def\normaloutput#1#2#3{\vbox to\fullpageheight{
	\if T\titlepage{\gdef\titlepage{F}}
	\else{\hbox to\pagewidth{\vbox to10pt{}\ifeven0{#2}\else{#3}}}
	\vfill#1} % parameter #1 is the page itself
	\setcount1\count0\advcount0} % \count1 is used in \send command
\output{\normaloutput\page\lheader\rheader}

\def\titlepage{T} % this omits the header line at the top of the first page
\def\rhead{} % this running head is set by starred modules
\def\title{} % an optional title can be set by the user
\def\topofcontents{\ctrline{\:g\title}
	\vfill} % this material will start the table of contents page
\def\botofcontents{\vfill} % this material will end the table of contents page
\def\contentspagenumber{0} % default page number fortable of contents
\def\pagewidth{6.5truein} % the width of each page, can be cHanged by The user
\def\pageheight{8.7truein} % the heIeht of each page, can be changed by the user
\def\ful@1aCOK!KSOQQvsieUKS]|JAaC≥JAQK%KQhA]SiPAIk]MS9JAQK¬IfXAα≠π9β⊗)β∂#∞s∨↔⊂hRs∪↔5cOπS∧↔↔nfCG'k-cCπ∨-;'∪SEc[O'V*sCπ>+#↔'>CSy↓*β∪=β&C'MβL∧bε≡≥f.NβY`⊂≤0srP≤βize
Xse@QaCOJ4∃1←a∃\`{Gα{;C↔w#E 7L[αα(→P∀[2P:4_z⊂3r]9P:0X4∧e Od∧AG←9iKMiLASMMαx4(1Ea"↓↓↓↓α↓↓↓LCC↔v#'aα3QαS#*α↑⊗
D"I:R-Aβ≠'f)↓#∂}sS';.+⊃$4Ph*c∪.2s';GZsCπ∃c[O/O↓[CQα)βS#O→β'Mε#?;∃π;#↔9π;∃βπ⊗)β↔>K;;'v9βS#*β';∪/@4(&f{WSC/#ns'2αRsC∞;↔Oπ4+∪nsv{K7πf{WSC/#ns␈AgzsfC↔π∪/∩sK#.∪↔Kuc↔3O/[x4(HJsOπ4)fsC∞;∃αs>#↔~sε∨↔O∂3↔∪n'sx4(Mc∨∪↔5cCπ∨/≠π[↔'Z≠yαf++↔∂"↓∃β↔V+∂Qβ&C∃βC∞;∃7Ozk≠πHhP&sO∂3∃fs6∪?cng+;?CKy↓∃π#π/∃εKQβ?/!β?→εKSMβ⊗{`4(McOπ[+Bs[␈Cns[≡['Bsε∨↔#.K∨#Rg3O/'αiG#QOrs[OOS∃G##A↓∃β⊗+7π'vK;≥βF+'∨# h(&s≡[∃bfC?c]c#O/OαsCπ>+←'∪&Bs#O↑KA5IπβSzsG≠'k∃s+←⊃aα)β∂?g+79β>K∪S hP&s∪.2s3K\cy↓∃π##'Mπ#↔33~β←#↔&C↔Iβ&C∃β3.3Qβ?∩βK'∨G!β∂?g+79βO→β;↔G 4(&f{WSC/#ns'2α2s3↔ZsOπ6)bsC∞;⊗s∨&+~s3↔ZK{xhP$&s.cO↔nfs?K7∞c?WSπ+Sns6∪?aβ&zsCπ>+#↔'>CSns⊗{afs7≠L4(HH&s#⊗{aβS⎇cCπ∨/;'∪SGZs?CBs#≠NbsCπ>+{{zfc#↔π&+JsKF+π∪↔⊂h($$Mc[O'V*sCπ>+#↔'>CRs∨&+~s3↔Z3{{ph(&s&+~q-~→E1β]cCπJfCπ;∨Ns∪↔;#∪↔6sv{';∪.sQ

RsGW∞#y↓∃π≠SπK"β?→βNs∪↔aε+;SKHh(&s&+~rm~→Fwm%cW;∪/∪3';/Y

Gr#y↓∃π+;∪↔⊗c';↔"β';∪/Aβ↔;'∪d4(McCπKNs∪↔;#βCRs⊗∨∨↔#	AAAβ↓Bs+WβπIEβ↓Bs#ε+9EAβ↓BsKhh(&s∨βπ∂↔≡['A9≠→O↔5πβ3WM⊗+5αsG≠Cπ∂/≠/'As+↔5βεcWMK.kx4*f#↔~s6K;nsεJs[6K32s.S↔∂Qα)βS#O→β'Mε#?;∃π;#↔9π;∃βπ⊗)β↔;&K;≥β&C∃β'v#↔`4PJs'→∧bs3K←rs↔3≡+ns;.c2s↔V+∂Syα)β≠'vKO!β&C∃β∂/∪K↔;"βCπ∨(h(&s&+~sKF+π∪nlz∩V2*α:ε6-≠x4(Mc?WSπ+Snsv{K7πf{WSC/"sCπ>*s3#.∪↔Jg∪#↔π&+Kx4PJsO↔'βπ∨∀hP&s∪.2q/ngβπJsF;∨'v#↔;Qβ∪↔7{ph*s∪.2s∂?wZsCπ∃c[≠'fbs↔+.≠Q↓∃ε3';'≡AβS#*β7?∪.c∃β;∞k↔L4PJs?C.qAwSo↓;S7α↓∃βC⊗+CπK*βS=β⊗+π⊃β&C∃β∂}sS↔;'→β';6{K7π&K?84PJsπ≡+3';/≠/'Aβ	KCQα)βCK/βπK∃π#=βK/≠W7∃β	A7C}K;Qβ'KC∀4PJs∪↔5cK7ncSπyαf#↔~s⊗3nqk∂qαs∪.2s'S]ai␈y¬c∪↔~g#SnqW#yαs&+~sO∨Zqk7ph(&s≡+SCπ>)αs?/#CWS]c;?Kn3?W'βWRsε∨⊗sfC↔π∪/∩sK#.∪↔Kph(&s&+~sSO#3↔C∞;↔nSr↓∃βC⊗+CπK*βS=β␈+SCW"βS#∃π#π3*β?→β≡{;S↔w#L4(McO↔S≡{W;Q¬c∂?;&+;SOε∨↔;.k↔I¬c∪↔~g∪#↔π'ZRε
d)α>→∧~>:R,rROxhP&sS␈β?≠∂}sS↔;'_4(&fC?aπ#=βOOS↔nsF3'1α≡+∂S'}rs#␈AβS=≡+7nsG≠MαC∞;↔{xhP&s∪.2ri
≠	

I~→OnsF∪?aβ&yβO'V+nq¬~→Eαsf+π∪↔↔~s#␈AβS=αqW↔7Zszs#6K2qhP$%
≠∩s#␈AβS=≡+7nsG≠M

∨s{x4PJs';π+Qβ∂}sS↔;'→↓∃β⊗+π⊃β&C∃β∂}sS↔;'→β';6x4(&f∪?S?6≠?;S.sSL4PJs↔;'q↓∃βπ∪';Qπ##∃β≡{;S↔w#MβC∞;∃#MJβπ;⊃π#↔K7NsπS∀hP4*;␈#∃iα&C'Mβ6K3∃βO→β';&+;∪↔"β≠?Iπ+O∃β>KS!α$*aaIrα≠?Iε{3∪↔∩β[↔K≡K?;Mε{→αR-A04+N{UβOF{W3⊃εK;O↔↔!↓
sNsCWQε∪πO'~⊃βπQπ##∃β⊗+∨';vK;≥1ε;⊃β6KaβSF)β3'v+MβSFP4+⊗+≠↔Iπ#=αzrβOC↔≡Kπ1β≡CπKπ∨#↔KMεK9βO}k∃βππβK?C⊗KπS∃π;πe8hP2&6∧zJRεu!α:>$)iαSFKMβ≠Nc∃βOF{W3⊃ε∪∃βOε{?3↔"β←'SBβS#∃α⊃?;?F+π⊃	ε{CS'}q04+∞s⊃βSF+9αOv{Cπ/*β#πMπ#=β*βπCCfK↔⊃β∂!βS#⊗+∃βCf∂↔Mπ#=β∂F;∨∃¬qβS=ε≠πK↔"λ4*#/∪∃βπ⊗)βS#*βS#K.)β?≠6+;∪'v9β3'v+M↓#}s∃βC/⊃βCπ>)β?→∧CC↔v#'aα2Ih4(hRs∪↔5b{nsN377?&+ns∂FI≥Q#∪zs↔g≠↔ns≡CπI≥;{y↓*β∂πK/ 4*s&+~r↔]c∂∪?#	B{yα)β↔cε{;↔;"β'9β6c?πSNs≥βC}K;Qβ≡{;OS∞sP4+O→βπO∨+7↔⊃π#=αs≡C∂?∪*βS#∃ε≠#πK∞≠S↔K~βoy⊃2)∞xaεMβSOβ↔M↓
βS=↓BaβK↔∨β↔∂SO3↔3e`h(